# -*- mode: snippet -*-
# name: infer
# key: infer
# --
$$\mprset{flushleft}
\inferrule* [right=$1] {
  $2
}{$0}